Reversible , Irreversible and Optimal - machinesVincent

نویسندگان

  • Vincent Danos
  • Laurent Regnier
چکیده

There are two quite diierent possibilities for implementing linear head reduction in-calculus. Two ways which we are going to explain brieey here in the introduction and in details in the body of the paper. The paper itself is concerned with showing an unexpectedly simple relation between these two ways, which we term reversible and irreversible, namely that the latter may be obtained as a natural optimization of the former.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reversible Simulation of Irreversible Computation

Computer computations are generally irreversible while the laws of physics are reversible. This mismatch is penalized by among other things generating excess thermic entropy in the computation. Computing performance has improved to the extent that eeciency degrades unless all algorithms are executed reversibly, for example by a universal reversible simulation of irreversible computations. All k...

متن کامل

Optimal emission-extraction policy in a world of scarcity and irreversibility

This paper extends the classical exhaustible-resource/stock-pollution model with the irreversibility of pollution decay. Within this framework, we are wondering first how the potential irreversibility of pollution affects the extraction path. Our aim is also to emphasize the conditions under which the economy will optimally adopt a reversible policy. Once the situation has turned irreversible, ...

متن کامل

Optimal Scaling of the Mala Algorithm with Irreversible Proposals for Gaussian Targets

Abstract. It is known that reversible Langevin diffusions in confining potentials converge to equilibrium exponentially fast. Adding a divergence free component to the drift of a Langevin diffusion accelerates its convergence to stationarity. However such a stochastic differential equation (SDE) is no longer reversible. In this paper, we analyze the optimal scaling of MCMC algorithms constructe...

متن کامل

Different Stages of Platelet Adhesion to the Site of Vascular Injury

Platelet activation and adhesion to the site of vascular injury is a dynamic process comprising reversible and irreversible phases. Platelet adhesion typically occurs in a multi-step process similar to the selectin/integrin-mediated adhesion of neutrophils. This phenomenon is highly regulated and influenced by the cross-talk between platelets and injured endothelium. This cross-talk involves a ...

متن کامل

Reversible, Irreversible and Optimal -machines

There are two quite diierent possibilities for implementing linear head reduction in-calculus. Two ways which we are going to explain brieey here in the introduction and in details in the body of the paper. The paper itself is concerned with showing an unexpectedly simple relation between these two ways, which we term reversible and irreversible, namely that the latter may be obtained as a natu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996